(push)
(declare-fun x!0 () Bool)
(assert x!0)
(check-sat)
(pop)
(push)
(declare-fun x!0 () (_ BitVec 32))
(assert (= x!0 (_ bv0 32)))
(check-sat)
